- структурная рекурсия
- structural recursion
Русско-английский словарь по электронике. 2009.
Русско-английский словарь по электронике. 2009.
Структурная индукция — метод доказательства, который используется в математической логике (например, в доказательстве теоремы Лося об ультрапроизведениях, информатике, теории графов, и некоторых других областях математики. Это обобщение математической индукции.… … Википедия
Функциональное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Парадигма программирования — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
PascalABC.NET — PascalABC Семантика: императивная Класс языка: мультипарадигменный: структурное, объектно ориентированное, обобщённое, процедурное программирование Тип исполнения: компилятор Появился в: 2002 … Википедия